Fixing bugs in the print source code