Minor Travis configuration tweak