Minor changes due to move to github