touch-up to compile w/o warnings with older gcc