Tweak documentation.
Update travis config.