Done. Pretty sure that one can submit a pull request to this branch of my repository though for this kind of change. That way you get put down in the log as contributing.