fixed a bug in printRec