fix failing travis CI test. Passed locally. Not sure.