Fix #112. The AST was correct but the printing was not