Fixed formatting setting.
Added highlighting test for old semantic highlighting bug.
(This contains a semantic error)