Remove unused code

This should have been removed in 36cfb177a5dcb5c0aef25ee0cfe8a052ba9c7486.