Updating: syntax hilighting for some EFFECTIVATS-examples