change 0-param constructor syntax and fix pretty printing