> <gi>ptr target="#Ham01245"/</gi>. > and <gi>binary value="false"</gi> > > so decide first if those are misguided. They are not just misguided, they are corrigible errors and have been corrected.