Remove `allow_empty`