Minor additions and rewording