FINAL flag clarification and two other minor edits...