a3: some small edits