Fix broken @see in doc