Oops, stupid typo causes an annoying compilation error. Fixed.