I don't see where this extra is ever used?