Minor changes to spec.