minor tweaks to make it nicer with github markdown