[gnome-web-www] Missing echo?

[Andrea Veri <averi src gnome org>]

commit d29a6b6e1cc446454fde99be60b2217b783f9190
Author: Andrea Veri <av gnome org>
Date:   Thu Jun 6 19:02:58 2019 +0000

    Missing echo?

 theme/page-apply.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/theme/page-apply.php b/theme/page-apply.php
index 2e5798b..ef0110a 100644
--- a/theme/page-apply.php
+++ b/theme/page-apply.php
@@ -138,7 +138,7 @@ if (array_key_exists('submit', $_POST)) {
 </p>
 
 <div class="item benefits">
-    <input name="gnome_mail_alias" id="gnome_mail_alias" type="checkbox" onClick="toggleBenefitsFields()" 
<?php (isset($gnome_mail_alias) ? 'checked="checked"':'') ;?> /> @gnome.org mail alias
+    <input name="gnome_mail_alias" id="gnome_mail_alias" type="checkbox" onClick="toggleBenefitsFields()" 
<?php echo (isset($gnome_mail_alias) ? 'checked="checked"':'') ;?> /> @gnome.org mail alias
     <input name="gnome_username" id="gnome_username" type="text" placeholder="What do you want your username 
to be?" value="<?php echo htmlspecialchars($gnome_username);?>" disabled />
 </div>