If `doxFound` is not used currently, let's just remove the related code. Less code = better!