Minor haddock fix
1 file changed