fixed some bugs in ast-stringifier