user-guide: fix examples of ghci commands