small additions to Replicated