Fix Pretty Print bug

Was printing "}" for the empty record type. Now prints "{ }".
Bug found by random testing.