fix missing import. fixes #738