Minor finetuning of recent edits.