Fix stray debugging code