typo in pseudo example