Fix JS errors in the docs page when searching for some specific terms.