fixed a bug in tactical.ino caused by an imperfect conversion to the new button api