Minor edits for the recent Pull