Minor changes to docs and html

Small changes, nothing important.