Although this is a rare exception, we should document it with `@exception`.