remove dead code (see #109)