Build #762:   bug by rstcheck (looks like it) - work around on branch 4.2 about 5 years ago