minor changes, sync to github