Fix parameter passing for topExec