More doc, backfix of Travis.