More documentation mangling