Good catch. AFAICT those are still possibly nullable and should be annotated as such. I'll fix it.