bugfix for servers file