Yes, this comment should have been removed indeed.