Remove dead code.

See #28.