Better pretty printing of patterns