Minor fixes in the code spec.