Fixed bug in server initialization code