fix the bug in "make print"