Fix Travis-CI; save typing