Removed a bit of debugging code