Fix type "see"