Fix to "GPL-3.0+ and PDDL-1.0"
from "GPL-3.0 and PDDL-1.0"

	modified:   COPYING