Trivial change to test pull request triggering

Do not merge, just testing the infrastructure.