I think we can do away with this--it's the default.