Annotate an unlikely condition

No functional change.