Fixing issues with arguments of procs