Correct typo in workspace_name docs
Closes #8078.
PiperOrigin-RevId: 244201901
diff --git a/src/main/java/com/google/devtools/build/lib/cmdline/Label.java b/src/main/java/com/google/devtools/build/lib/cmdline/Label.java
index 0cd3dc9..c9204b3 100644
--- a/src/main/java/com/google/devtools/build/lib/cmdline/Label.java
+++ b/src/main/java/com/google/devtools/build/lib/cmdline/Label.java
@@ -452,7 +452,7 @@
name = "workspace_name",
structField = true,
doc =
- "The repository part of this label. For isntance, "
+ "The repository part of this label. For instance, "
+ "<pre class=language-python>Label(\"@foo//bar:baz\").workspace_name"
+ " == \"foo\"</pre>")
public String getWorkspaceName() {