A small change to proc.c