Cleanup: removed dead code

This should have been gone in 2bf5bd6a.