fixes to spec bugs