Fix default in .ghci file