Minor typo in "Class Hierarchies? Don't Do That!"