Fix typo in hot-guide source

Commit bc93bb5f fixed a typo in the autogenerated output of the HOT
guide. This patch imports the fix in the source file.

Change-Id: I66801444324d82fb4b5a1ab7775d29f9d606af85