Removed: old code that isn't in use since 80d4d3d3488f5585d3b9a59aceb25d05f605baf7