minor changes, checking github connectivity