ICSE: better category prefixes, and a typo fix