Another small namespace fix