Small fix to avoid rare error