minor edits to dev_notes.