Yeah, I changed that on my version, but then my laptop died before I could do the pull request. This laptop can't do it.

There are a couple other changes I made. You can see all of them here: https://github.com/dacoinminster/spec/commits/master

None of them very important, but if you grab them, I won't complain :)