Incorrect reference in documentation of element "ExceptionalGaugingCode"