Updated spec a tad to reflect recent changes.

This is untested on the interpreter