travis: remove needless ";"