a fix to build on ghc 7.8.3

Hopefully this fix won't break it for 7.6.3.