Minor tweaks to the Travis configuration.