Change to prabau's suggestions

Author: GeoffreySangston

Diff for: spaces/S000209/README.md

@@ -6,8 +6,8 @@ refs:
     name: Alexandroff extension on Wikipedia
 ---
 
-Choose a point $0 \in S^1$ to be called the origin, and replace $0$ with two origins $0_1$ and $0_2$. Basic open neighborhoods of a point $x \neq 0$ are Euclidean open neighborhoods of $x$ not containing $0$. Basic open neighborhoods of each origin $0_i$ are of the form $(U\setminus\{0\})\cup\{0_i\}$ with $U$ a Euclidean open neighborhood of $0$.
+Choose a point $0 \in S^1$ to be called the "origin", and replace $0$ with two origins $0_1$ and $0_2$. Basic open neighborhoods of a point $x \neq 0$ are Euclidean open neighborhoods of $x$ not containing $0$. Basic open neighborhoods of each origin $0_i$ are of the form $(U\setminus\{0\})\cup\{0_i\}$ with $U$ a Euclidean open neighborhood of $0$.
 
-Let $\{1, 2\}$ have the discrete topology. $X$ is homeomorphic to the quotient space of $S^1 \times \{1, 2\}$ obtained by identifying $\langle \theta, 1 \rangle$ and $\langle \theta, 2 \rangle$ exactly when $\theta {\not\equiv} 0 \mod 2\pi$.
+Let $\{1, 2\}$ have the discrete topology. $X$ is homeomorphic to the quotient space of $S^1 \times \{1, 2\}$ obtained by identifying $\langle \theta, 1 \rangle$ and $\langle \theta, 2 \rangle$ exactly when $\theta$ is not the "origin" point.
 
-$X$ is homeomorphic to the Alexandroff extension of {S83}.
+$X$ is homeomorphic to the Alexandroff one-point compactification of {S83}.

Diff for: spaces/S000209/properties/P000016.md

@@ -7,4 +7,4 @@ refs:
     name: Alexandroff extension on Wikipedia
 ---
 
-$X$ is homeomorphic to the Alexandroff extension of {S83}.
+$X$ is homeomorphic to the Alexandroff one-point compactification of {S83}.