diff --git a/NOnion/Utility/Base32Util.fs b/NOnion/Utility/Base32Util.fs
index 2cb496a7..238c1363 100644
--- a/NOnion/Utility/Base32Util.fs
+++ b/NOnion/Utility/Base32Util.fs
@@ -96,7 +96,7 @@ module Base32Util =
             | x0 :: [] -> result @ quintupletToList 1 (x0, 0uy, 0uy, 0uy, 0uy)
             | [] -> result
 
-        data |> Array.toList |> parse [] |> List.toArray |> System.String.Concat
+        data |> Array.toList |> parse List.Empty |> List.toArray |> System.String.Concat
 
     /// Decodes a Base32 string to a UTF8 string
     let DecodeBase32 text =
@@ -163,4 +163,4 @@ module Base32Util =
                         tail
                 | _ -> result
 
-            [ for c in text -> c ] |> parse [] |> List.toArray
+            [ for c in text -> c ] |> parse List.Empty |> List.toArray
diff --git a/fsharplint.json b/fsharplint.json
index 4de8cdfd..181c1cae 100644
--- a/fsharplint.json
+++ b/fsharplint.json
@@ -409,13 +409,17 @@
             "(Array.take x y, Array.skip x y) ===> Array.splitAt x y",
             "(Seq.take x y, Seq.skip x y) ===> Seq.splitAt x y",
 
-            "List.empty ===> []",
-            "Array.empty ===> [||]",
+            "[] ===> List.Empty",
+            "List.empty ===> List.Empty",
+            "[||] ===> Array.empty",
+            "\"\" ===> String.Empty",
 
-            "x::[] ===> [x]",
+            "[x] ===> x::List.Empty",
             "pattern: [x] ===> x::[]",
 
             "x @ [] ===> x",
+            "x @ List.Empty ===> x",
+            "x @ List.empty ===> x",
 
             "List.isEmpty [] ===> true",
             "Array.isEmpty [||] ===> true",