Use OPTIONS_HADDOCK instead of #hide.