This will do nothing because of `@initialized`, right? Oh, it is unset above. Maybe move it down here to make it obvious.