Quick fixes for <Preloaded> documentation