Fix mistake in ccode printing test.