Fix build error for GHC 7.2