Fixed a minor naming extension bug