redlining example: small typo in ptype