Typos in categories