Add [<AutoOpen>]