Remove unused code

Better not look at it anymore...