@@ -32,7 +32,7 @@ Go to `menu:Settings[Keymap]` and choose your favorite keyboard profile: NetBean
[TIP]
====
-To get help and code samples right in the SDK, press `kbd:[F1], or press `kbd:[Ctrl]` + `kbd:[i]` to enter a query in the super search box (top right)!
+To get help and code samples right in the SDK, press `kbd:[F1]`, or press `kbd:[Ctrl]` + `kbd:[i]` to enter a query in the super search box (top right)!
mitm001