XML doc comments for exceptions