Fixed Travis-ci config file