[FIX] product: correct SyntaxError made by kdiff3 (once again) during previous forward port