minor fix
better code block syntax in grammar
pretty-printing for the new grammar