Fix another incorrect data type choice from commit dc2123400.