minor text modifications