diff --git a/docs/docs/reference/other-new-features/export.md b/docs/docs/reference/other-new-features/export.md
index a5918fdf93ca..84ab232cb01d 100644
--- a/docs/docs/reference/other-new-features/export.md
+++ b/docs/docs/reference/other-new-features/export.md
@@ -61,6 +61,10 @@ of one of the following forms:
  - A _given selector_ `given x` has an optional type bound `x`. It creates aliases for all eligible given instances that conform to either `x`, or `Any` if `x` is omitted, except for members that are named by a previous simple, renaming, or omitting selector.
  - A _wildcard selector_ `*` creates aliases for all eligible members of `path` except for given instances,
    synthetic members generated by the compiler and those members that are named by a previous simple, renaming, or omitting selector.
+   \
+   Notes:
+   - eligible construtor proxies are also included, even though they are synthetic members.
+   - members created by an export are also included. They are created by the compiler, but are not considered synthetic.
 
 A member is _eligible_ if all of the following holds: