yes, that looks like a typo/bug.