Accidentally removed tok_docs