minor, and ghci config