minor tweak
minor tweak

spinda/liquidhaskell,spinda/liquidhaskell,spinda/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell,spinda/liquidhaskell,spinda/liquidhaskell,abakst/liquidhaskell,spinda/liquidhaskell