Fix a couple typos in assertion messages.