Stuff.

Generated by commit fd20511cd5cb43eddd35394efcbc69e7da23d9bf; pushed by Travis build 12.