diff --git a/src/TropicalGeometry/variety_supertype.jl b/src/TropicalGeometry/variety_supertype.jl
index 47d03d75f77f..21a32f49956b 100644
--- a/src/TropicalGeometry/variety_supertype.jl
+++ b/src/TropicalGeometry/variety_supertype.jl
@@ -43,7 +43,7 @@ end
 @doc raw"""
     ambient_dim(TropV::TropicalVariety)
 
-See [`ambient_dim(::PolyhedralComplex)`](@ref).
+See [`ambient_dim(::PolyhedralComplex)`](@ref ambient_dim(PC::PolyhedralComplex)).
 """
 function ambient_dim(TropV::TropicalVarietySupertype{minOrMax,true}) where minOrMax
     return ambient_dim(TropV.polyhedralComplex)
@@ -53,7 +53,7 @@ end
 @doc raw"""
     codim(TropV::TropicalVariety)
 
-See [`codim(::PolyhedralComplex)`](@ref).
+See [`codim(::PolyhedralComplex)`](@ref codim(PC::PolyhedralComplex)).
 """
 function codim(TropV::TropicalVarietySupertype{minOrMax,true}) where minOrMax
     return codim(TropV.polyhedralComplex)
@@ -71,7 +71,7 @@ end
 @doc raw"""
     dim(TropV::TropicalVariety)
 
-See [`dim(::PolyhedralComplex)`](@ref).
+See [`dim(::PolyhedralComplex)`](@ref dim(PC::PolyhedralComplex)).
 """
 function dim(TropV::TropicalVarietySupertype)
     return dim(TropV.polyhedralComplex)
@@ -81,7 +81,7 @@ end
 @doc raw"""
     f_vector(TropV::TropicalVariety)
 
-See [`f_vector(::PolyhedralComplex)`](@ref).
+See [`f_vector(::PolyhedralComplex)`](@ref f_vector(PC::PolyhedralComplex)).
 """
 function f_vector(TropV::TropicalVarietySupertype)
     return f_vector(TropV.polyhedralComplex)
@@ -91,7 +91,7 @@ end
 @doc raw"""
     lineality_dim(TropV::TropicalVariety)
 
-See [`lineality_dim(::PolyhedralComplex)`](@ref).
+See [`lineality_dim(::PolyhedralComplex)`](@ref lineality_dim(PC::PolyhedralComplex)).
 """
 function lineality_dim(TropV::TropicalVarietySupertype)
     return lineality_dim(TropV.polyhedralComplex)
@@ -101,7 +101,7 @@ end
 @doc raw"""
     lineality_space(TropV::TropicalVariety)
 
-See [`lineality_space(::PolyhedralComplex)`](@ref).
+See [`lineality_space(::PolyhedralComplex)`](@ref lineality_space(PC::PolyhedralComplex{T}) where {T<:scalar_types}).
 """
 function lineality_space(TropV::TropicalVarietySupertype)
     return lineality_space(TropV.polyhedralComplex)
@@ -111,7 +111,7 @@ end
 @doc raw"""
     maximal_polyhedra(TropV::TropicalVariety)
 
-See [`maximal_polyhedra(::PolyhedralComplex)`](@ref).
+See [`maximal_polyhedra(::PolyhedralComplex)`](@ref maximal_polyhedra(PC::PolyhedralComplex{T}) where {T<:scalar_types}).
 """
 function maximal_polyhedra(TropV::TropicalVarietySupertype)
     return maximal_polyhedra(TropV.polyhedralComplex)
@@ -154,7 +154,7 @@ end
 @doc raw"""
     minimal_faces(TropV::TropicalVariety)
 
-See [`minimal_faces(::PolyhedralComplex)`](@ref).
+See [`minimal_faces(::PolyhedralComplex)`](@ref minimal_faces(PC::PolyhedralComplex{T}).
 """
 function minimal_faces(TropV::TropicalVarietySupertype)
     return minimal_faces(TropV.polyhedralComplex)
@@ -196,7 +196,7 @@ end
 @doc raw"""
     n_maximal_polyhedra(TropV::TropicalVariety)
 
-See [`n_maximal_polyhedra(::PolyhedralComplex)`](@ref).
+See [`n_maximal_polyhedra(::PolyhedralComplex)`](@ref n_maximal_polyhedra(PC::PolyhedralComplex)).
 """
 function n_maximal_polyhedra(TropV::TropicalVarietySupertype)
     return n_maximal_polyhedra(TropV.polyhedralComplex)
@@ -206,7 +206,7 @@ end
 @doc raw"""
     n_polyhedra(TropV::TropicalVariety)
 
-See [`n_polyhedra(::PolyhedralComplex)`](@ref).
+See [`n_polyhedra(::PolyhedralComplex)`](@ref n_polyhedra(PC::PolyhedralComplex)).
 """
 function n_polyhedra(TropV::TropicalVarietySupertype)
     return n_polyhedra(TropV.polyhedralComplex)
@@ -216,7 +216,7 @@ end
 @doc raw"""
     n_vertices(TropV::TropicalVariety)
 
-See [`n_vertices(::PolyhedralComplex)`](@ref).
+See [`n_vertices(::PolyhedralComplex)`](@ref n_vertices(PC::PolyhedralComplex)).
 """
 function n_vertices(TropV::TropicalVarietySupertype)
     return n_vertices(TropV.polyhedralComplex)
@@ -226,7 +226,7 @@ end
 @doc raw"""
     is_pure(TropV::TropicalVariety)
 
-See [`is_pure(::PolyhedralComplex)`](@ref).
+See [`is_pure(::PolyhedralComplex)`](@ref is_pure(PC::PolyhedralComplex)).
 """
 function is_pure(TropV::TropicalVarietySupertype)
     return is_pure(TropV.polyhedralComplex)
@@ -236,7 +236,7 @@ end
 @doc raw"""
     is_simplicial(TropV::TropicalVariety)
 
-See [`is_simplicial(::PolyhedralComplex)`](@ref).
+See [`is_simplicial(::PolyhedralComplex)`](@ref is_simplicial(PC::PolyhedralComplex)).
 """
 function is_simplicial(TropV::TropicalVarietySupertype)
     return is_simplicial(TropV.polyhedralComplex)
@@ -246,7 +246,7 @@ end
 @doc raw"""
     rays(TropV::TropicalVariety)
 
-See [`rays(::PolyhedralComplex)`](@ref).
+See [`rays(::PolyhedralComplex)`](@ref rays(PC::PolyhedralComplex{T}) where {T<:scalar_types}).
 """
 function rays(as::Type{RayVector{S}}, TropV::TropicalVarietySupertype{minOrMax,isEmbedded}) where {S,minOrMax,isEmbedded}
     return rays(as,TropV.polyhedralComplex)
@@ -259,7 +259,7 @@ end
 @doc raw"""
     rays_modulo_lineality(TropV::TropicalVariety)
 
-See [`rays_modulo_lineality(::PolyhedralComplex)`](@ref).
+See [`rays_modulo_lineality(::PolyhedralComplex)`](@ref rays_modulo_lineality(PC::PolyhedralComplex{T}) where {T<:scalar_types}).
 """
 function rays_modulo_lineality(as::Type{RayVector{S}}, TropV::TropicalVarietySupertype{minOrMax,isEmbedded}) where {S,minOrMax,isEmbedded}
     return rays_modulo_lineality(as,TropV.polyhedralComplex)
@@ -272,7 +272,7 @@ end
 @doc raw"""
     vertices_and_rays(TropV::TropicalVariety)
 
-See [`vertices_and_rays(::PolyhedralComplex)`](@ref).
+See [`vertices_and_rays(::PolyhedralComplex)`](@ref vertices_and_rays(PC::PolyhedralComplex{T}) where {T<:scalar_types}).
 """
 function vertices_and_rays(TropV::TropicalVarietySupertype)
     return vertices_and_rays(TropV.polyhedralComplex)
@@ -282,7 +282,7 @@ end
 @doc raw"""
     vertices(TropV::TropicalVariety)
 
-See [`vertices(::PolyhedralComplex)`](@ref).
+See [`vertices(::PolyhedralComplex)`](@ref vertices(as::Type{PointVector{T}}, PC::PolyhedralComplex{T}) where {T<:scalar_types}).
 """
 function vertices(as::Type{PointVector{S}}, TropV::TropicalVarietySupertype{minOrMax,isEmbedded}) where {S,minOrMax,isEmbedded}
     return vertices(as,TropV.polyhedralComplex)