[coa] A few small touchups.