It doesn't format correctly enclosed Alloy tags, either.
![image](https://f.cloud.github.com/assets/408952/2167171/43c566b2-9513-11e3-8002-bb0a08e30a2b.png)

Ugh.