Hadn't noticed it :) Changed it locally, will wait for further comments before pushing