`else` is not necessary here, since the `if` ends with a `return`