This patch makes it compile under GHC 7.6.3