Fix an AOT compiler warning