Would `empty()` be cleaner here?