remove an unused (and seemingly unpractical) class