Fix typo in URL; reported by Michael Ernst <mernst@cs.washington.edu>.
1 file changed