Small correction on namespace of extension class