A small change

This is a test of gerrithub.io integration with github.
This patch will only be submitted to gerrithub, if it appears on github,
then all is good with the world