Fix compatibility with FireDiff 1.2.1 (related to issue 7445)