Edit comments

Revise based on recent changes to the symbol def topic.