fix a travis bug