Hygiene: doc, unused vars, duplicate array element

Change-Id: I388d7c44406a16a6e3e9923b0f0f094f128d2f89