minor tweaks to Tally stuff for gcc