removed decade-old unused code