It's not clear whether that attribute matters here. @marqh - any thoughts welcome.