Fix a copy+pasto in an assertion string.