Definitely a typo! Please fix it if you have the time. If not, I'll get around to fixing it during the weekend.