Beta-reduce for readability
Correct highlighting of last letter of pragma