updated to recent version of haddoc