fixing a small bug. For some unknown reason, it was displaying two times the tool  selector