Fix travis-ci tag