small bug in print, fixed