Removed comment forgotten in 3caf957ed5