I don't think any of our code actually uses this attribute, right?