This patch fixes ticket #1083 in the ghci debugger