Another bug fix in servercontrol