found bug in debugging messages