fixed semicolon in petty printer