Ouch, you're right, it should be removed.