Travis-ci problem fixing