Fix; mixin names not visible in navigator