Fixing namespace issues in misc_ex9.