I removed a comment which shouldn't have survive the previous merge