Good point. I've checked that it's not used, and removed it.