Added missing export for GHC 7.6