Fixed minor inconsistency in A expansion rule.