Some more stylings and a minor edit