diff --git a/src/attributes.js b/src/attributes.js
index 7983c74bd..50a4f6290 100644
--- a/src/attributes.js
+++ b/src/attributes.js
@@ -367,6 +367,7 @@ jQuery.extend({
 		if ( elem.nodeType === 1 ) {
 			name = jQuery.attrFix[ name ] || name;
 
+			// See #9699 for explanation of ths approach (setting first, then removal)
 			jQuery.attr( elem, name, "" );
 			elem.removeAttribute( name );