remove undocumented, dead code