Switch to a goal of PDDL. Fixes #2.