Text.PrettyPrint bug or doc bug