Fix json highlighting.

Fixes #80.