small refactoring in Replicated