doc-other/05-utils.dox: Fixed markup