Minor adjustment.

Generated by commit b2270b17dde0227f886e0541014fb3756d3ee818; pushed by Travis build 7.