Fixed #3 - server name is well displayed in bookmarklet