Adjust contracts in docs for consistency
Rename duplicated section tag
Adjust doc requires to avoid undefined tag errors
Merge pull request #3 from takikawa/master

Documentation improvements