Small fixes to the spec