fixing duplicate header in docs.