Fixed a bug allowing interfaces to share the same name