Fix #70

In FormattingWriter.destroy(), write out the empty token (that causes a
fast-forward, which writes out comments) even if nothing was written
yet.
Add test for #70