Minor point: unused variable.