fix to pddl identifier

I'd changed this id in the UK version, but not in the other EU
jurisdictions