Would still prefer to see `empty()` used here.