(Ditto for the previous arm of the `if`)