Thanks!  I had more stuff in there but removed it, making `str` redundant, as you say.