[BUGFIX] Misleading error with empty USER_INT