removing unnecessary ; and final @servers