Fix mistake in color coding