GHC-7.8: One more fix