stray debugging output?