Small refactorings with respect to synchronization