no problem most users don't know that mediawiki parses literal characters properly admin talk