Removed some debug code accidentally left in previous commit.