javascript: fixed HTML enumeration example