minor update to ensure the repo on github is up to date