diff --git a/design/draft-workspace.md b/design/45713-workspace.md
similarity index 99%
rename from design/draft-workspace.md
rename to design/45713-workspace.md
index 991df67..23e3ade 100644
--- a/design/draft-workspace.md
+++ b/design/45713-workspace.md
@@ -4,7 +4,7 @@
 
 Last updated: 2021-04-22
 
-Discussion at https://golang.org/issue/NNNNN.
+Discussion at https://golang.org/issue/45713.
 
 ## Abstract
 
@@ -135,8 +135,6 @@
 | `build`        |  o     |  o         |
 | `test `        |  o     |  o         |
 
-
-
 If `-workfile` is set to `off`, workspace mode will
 be disabled. If it is `auto` (the default), workspace mode will be enabled if a
 file named `go.work` is found in the current directory (or any of its parent
@@ -703,7 +701,7 @@
 `go.mod.local` file so that local changes to the go.mod file could be made
 adding replaces without needing to risk local changes being committed in
 `go.mod` itself. The `go.work` file provides users a place to put many of the
-local changes that would be put in teh proposed `go.mod.local` file.
+local changes that would be put in the proposed `go.mod.local` file.
 
 ### [#39005](https://github.com/golang/go/issues/39005) proposal: cmd/go: introduce a build configurations file