Fix documentation error for Eclipse Help arguments #1752