Do we want to document about the default value for just this one attribute? We don't do that for any other attribute.