Update the spec with feedback from arma (No functional changes).