minor edit to make 'g++ -pedantic' happy