TermWriter thinks the empty list needs to be quoted

[thetrime]

I'm pretty sure that [] is always safe to write. In some systems, [] is not necessarily equal to '[]'