minor fix
prety print for Syntax.t