Fix Carlos's GitHub handle

ping @carlossg :smile: