Oh my bad -- I guess that change hasn't been sync'd to github. No worries -- I'll fix this up after your PR. Disregard my comment