[core][doc] minor fixes

2 jobs for docedit in 27 minutes and 16 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #153427
docker-build
build_linux_36

00:27:14

73.0%
passed #153428
macosx
build_macosx_36

00:19:26

73.0%