Minor fixes in formatting and small text changes