minor edits
html documentation