Remove dead code

No functional change.

Closes #87