Oops, typo that I didn't catch because that change was last minute, and not covered by the tests. Fixed.