Trivial tweak for pull request test

Thanks