its not really important for an old change but others will take this as example, so lets fix this. otherwise the PR looks fine to me.