Fix Travis directive