making sure things are correct on github