One more tiny namespace fix.