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

Close #1459.
Merge remote-tracking branch 'upstream/master'