Remove dead code
This was previously marked as @deprecated by Dmitriy, however no
alternative was ever forthcoming and so it is not deprecated (I have
discussed this with Dmitriy)