why are these allowed to be `None` now?