#5882: fix docs