fixed the † sign in the docs