fix for GHC >= 6.5 again