Fix Proc docs.