What is this comment doing here?