Remove a comment about an old bug.