Bug fix regarding instance naming during type instantiation