issue 10527: fix missing import