Assertion bears correcting