Fix syntax of the TravisCI configuration file.