diff --git a/docs/spec/make_proxy_view.md b/docs/spec/make_proxy_view.md
index d70b61a7..4826350c 100644
--- a/docs/spec/make_proxy_view.md
+++ b/docs/spec/make_proxy_view.md
@@ -12,7 +12,7 @@ template <facade F, class T>
 proxy_view<F> make_proxy_view(T& value) noexcept;
 ```
 
-Creates a `proxy_view<F>` object containing a value `p` of type `observer-ptr<T>`, where `*p` is direct-non-list-initialized with `&value`. If [`proxiable_target<T, F>`](proxiable_target.md) is `false`, the program is ill-formed and diagnostic messages are generated.
+Creates a `proxy_view<F>` object containing a value `p` of type `observer-ptr<T>`, where `p` is direct-non-list-initialized with `std::addressof(value)`. If [`proxiable_target<T, F>`](proxiable_target.md) is `false`, the program is ill-formed and diagnostic messages are generated.
 
 ## Return Value
 
diff --git a/docs/spec/proxiable_target.md b/docs/spec/proxiable_target.md
index 403bc55f..fe46d69b 100644
--- a/docs/spec/proxiable_target.md
+++ b/docs/spec/proxiable_target.md
@@ -7,7 +7,7 @@
 
 ```cpp
 template <class T, class F>
-concept proxiable_target = proxiable<observer-ptr<T>, F>;
+concept proxiable_target = proxiable<observer-ptr<T>, observer_facade<F>>;
 ```
 
 See [`make_proxy_view`](make_proxy_view.md) for the definition of the exposition-only class template *observer-ptr*.