Little ELE pretty printing