correction to symbolserver