bugfix in SERVER_BRANCH_UPDATED handling