proper name in case of "real" server