Another feeble attempt to fix code highlighting