Slight fix about SYSINIT identifier name