Merge "Doc change: fix typo in JB highlights." into jb-dev