diff --git a/src/aeso_ast_infer_types.erl b/src/aeso_ast_infer_types.erl
index 4d87e70..a0c07fa 100644
--- a/src/aeso_ast_infer_types.erl
+++ b/src/aeso_ast_infer_types.erl
@@ -340,19 +340,9 @@ visible_in_used_namespaces(UsedNamespaces, QName) ->
             IsVisible = fun(Namespace) ->
                             case Namespace of
                                 {_, _, {for, Names}} ->
-                                    case lists:member(Name, Names) of
-                                        true ->
-                                            true;
-                                        false ->
-                                            false
-                                    end;
+                                    lists:member(Name, Names);
                                 {_, _, {hiding, Names}} ->
-                                    case lists:member(Name, Names) of
-                                        true ->
-                                            false;
-                                        false ->
-                                            true
-                                    end;
+                                    not lists:member(Name, Names);
                                 _ ->
                                     true
                             end