Yep. Looks like a typo. Let's assume it is, and if not we can make a subsequent PR.