Fix typo in header of doc/html.md (promt → prompt)

Close #1459.