minor tweaks
github button