A small fix to avoid a possible crash.