More tweaks for GitHub formatting