minor server bugfix