Very slight format change. Removed unused import.