Updating a link in the comments; no functional change.