Fix mapping over procs