Fixed pretty printing