Removed a spurious @ToString left over from an earlier experiment with
auto-generated toString() methods.