Fix docfile.