Tiny tweak to spec.