[#708] Remove obsolete import that slipped through the merge