Minor Travis configuration update.