Fixing typo.  Doesn't actually help with #477 though.