Re-inserted example usage in html doc.