toh: Pedantic style fix