tiny commit, fixed indentation in Clause.hs