typo in definition of PrintE