minor pseudo-typo fix