Thread:Thor2000/@comment-1038387-20151031235216/@comment-1038387-20151101000240

I think we cleaned that up ages ago (on your recommendation? Not sure, but I think so) and we just forgot that one usage. Fixed now.