The double labels in the documentation are removed