fix misc mistake in 9.l.