Some minor updates, mostly in styling.