Pretty printer: temporary fix to the pretty printing of list