ditch: Small hack to make sed a bit faster, avg. 0.15s/0.04s -> 0.12s/0.03s.  Nothing meaningful.