misc tweaks

Make it slightly more friendly to github.