Fixing minor issues with typesetter example