Correct an unfortunate typo made on last clean-up