minor change to remove Eclipse warning about unused import