remove some old files, closes #2743
a trivial formatting change