fixed doc-server problem, it was not being properly started at the end of setup