#119, fix for GHC 7.8