minor rewording and tighter formatting