Making the documentation match the internals