Noinit tweak for better practice (though I don't think incorrect code was generated)