fix extra _ in docs; fixes #2659