Changed pretty printing of letnone