Fix a bug introduced in 3609a0df8cc64a278330b23e54793e5aad34b004

(missing else clause)