Minor changes.

Generated by commit dc80f3b2d96aa9a405e0d6c6d568538f1e556138; pushed by Travis build 20.