Add a test for #toString() (which currently fails; #toString() is broken).