Small fixes to spec