Fix JCS Plat highlighting