Remove unused code

See also 08a182d74307c77470ac17064707dca5d983a6af