Doc fixes, and travis bump to 17.3