JBIDE-13711 docs typo