AUTORECODE: Style update.