minor changes after moving repo to Ketse