Merge pull request #48 from apdavison/master

Minor corrections to the specification.