formatting tweaks done via Github interface