Trivial: removed an unused import.