Fix a wrong self-description for printing