Fix a few more contributor names

grep 'on the web' | grep -v '\[\(.*\)\].*\1 on the web'