Fix an error on managed/unmanaged options