fixed a printf() formatting issue in the parser