some additions to IC2