Fix assertions that couldn't have failed