Some modifications for procs