You're right. I didn't find a way to amend a commit made on github. Maybe it's better to close this PR and make a new one?