it does not look like a travis bug..