Fix an error in user-fixes/si