Thread:Support/MediaWiki:Ip range toolarge

Why does this message contain '/$1' instead of '$1'? Is it something meant to be or merely a source typo?