slightly changed debugging message