delete superfluous docs