fixes to spec