Remove a bit of debug code