delete some now-redundant writing