Fix bug with XQuery Hover with FF.