fixed the ghci helpre