fix documentation search problem