fix one place that used obsolete APIs