Fix compile error in GHC 7.2