It does not look like that code is used anytime soon, so let's get rid
of it for the sake of tidyness.