Two-deckers, etc. (see Ratings), replaced correctly in the index.