Oops, this line was just left-over cruft. Removed.