Just to let you know: that's not a typo, the line is there to fix an earlier typo. Long story, it could probably be removed completely these days.