[ html ] Fixed typos
[ html ] s/ghci/GHCi
Fixed typo