bugfix for debug printouts