minor tweaks
prettify URLs