Fixed wrong format in the Travis configuration file.