diff --git a/Doc/ref/ref3.doc b/Doc/ref/ref3.doc index 668aadb12bc..b9048567ae3 100644 Binary files a/Doc/ref/ref3.doc and b/Doc/ref/ref3.doc differ