else isn't required here since the previous control returns.