Trivial tweak for pull request test