deleted a comment in gearbox.v