Fixed naming error in crowdsource_hinter.  (Introduced in git merge.)