Minor tweaks to Travis deploy