more github formatting tweaks