correcting Anthony's GitHub alias