bugfix in print() interpreter