RANDO ?: can we internationalize the HTML entity here?