fix bugs reported by respec
mostly duplicate definitions, and incorrectly marked-up automatic references
Merge pull request #10 from dontcallmedom/respec-bugs

fix bugs reported by respec