Don't use qualified symbol name as formal arg. Fixes DFINGER-1