Avoid a warning