Tweak to follow latest change to spec.  (Grumble.)