A couple minor edits from DRC