Thanks, fixed.

Btw, I really wish Github had a button to bring me not to the specific version of this file, but to the version on the branch I created the full req. from.
This way I could easily amend such small things inline really quickly