change to github's notation