Fixed broken tag (follow-up for bug#9353).