diff --git a/options.html b/options.html
index e103512d6..3572c2aa6 100644
--- a/options.html
+++ b/options.html
@@ -4775,7 +4775,9 @@ boolean</p><p><span class="emphasis"><em>Default:</em></span>
 <code class="literal">false</code></p><p><span class="emphasis"><em>Example:</em></span>
 <code class="literal">true</code></p><p><span class="emphasis"><em>Declared by:</em></span></p><table border="0" summary="Simple list" class="simplelist"><tr><td><code class="filename"><a class="filename" href="https://github.com/nix-community/home-manager/blob/master/modules/programs/gnome-terminal.nix" target="_top">
 &lt;home-manager/modules/programs/gnome-terminal.nix&gt;
-</a></code></td></tr></table></dd><dt><span class="term"><a id="opt-programs.gnome-terminal.profile"></a><a class="term" href="options.html#opt-programs.gnome-terminal.profile"><code class="option">programs.gnome-terminal.profile</code></a></span></dt><dd><p>A set of Gnome Terminal profiles.</p><p><span class="emphasis"><em>Type:</em></span>
+</a></code></td></tr></table></dd><dt><span class="term"><a id="opt-programs.gnome-terminal.profile"></a><a class="term" href="options.html#opt-programs.gnome-terminal.profile"><code class="option">programs.gnome-terminal.profile</code></a></span></dt><dd><p>A set of Gnome Terminal profiles. Note, the name of a profile must be
+a UUID. You can generate one, for example, using <span class="command"><strong>uuidgen</strong></span>
+(from <code class="literal">util-linux</code>).</p><p><span class="emphasis"><em>Type:</em></span>
 attribute set of (submodule)</p><p><span class="emphasis"><em>Default:</em></span>
 <code class="literal">{ }</code></p><p><span class="emphasis"><em>Declared by:</em></span></p><table border="0" summary="Simple list" class="simplelist"><tr><td><code class="filename"><a class="filename" href="https://github.com/nix-community/home-manager/blob/master/modules/programs/gnome-terminal.nix" target="_top">
 &lt;home-manager/modules/programs/gnome-terminal.nix&gt;