minor edit for travis ci