Ah, good to know. Thanks. Cool.

I'll try to make the change and resubmit (my first github pull request submission so apologies for any procedural mistakes.)