Fix mistake in GenCode