ref #93: remove erroneous import