Forgot to remove old code.

Fixes #474.