Fix up ghci044