update documentation; remove dead code