fix texdumpslots