documentation highlighting fixes.