rename classes for posterity (and to avoid name collisions)