Bug fix in print/println implementations