fix ReST „duplicate target name“