fixing pretty printing of instance lists