minor edits; HTML generation