Fix the prettyprint of record types.