Some corrections for auto-opened modules with elaborated aliases