r758: fixed a typo

mostly negligible in practice