Let *1 be set properly when pretty-printing, fixes gh-468

EOM