fix typo that is rejected by ghc 7.8