Update the specification to reflect suggestions in issue #39