Fix typos in proc specs