Fix mistake in assert