Remove redundant import, revealed by the fix to #7963