Fix compilation failure caused by DocumentedException refactoring