Minor changes to the specification