We did indeed - and right after I sent the pull request I remembered :)  Will change it now