[fixed] wrong # of args for prettyprint