Fix GHC 7.4 compatibility issue caused by previous patch