Fix small travis problem