Fixed Travis-ci bug