These methods are not part of the public API.