Some minor styling changes in manual