fix typo in ghci.xml