Fix AliasManager doctests