minor tweak to appease haddock