cartazio tweaking syntactic formatting stuff

Latest commit 3a0bbf5

May 8, 2018