Removed a forgotten debugging print statement.