minor update of spec.