Yes, that was a typo - should be fixed now.