fixed a travis bug