small fix to avoid warning