typo fix, caught during typed-doppio conversion