Fixed *again* the format of the Travis config file.