Fix for documentation reader not being threadsafe

fixes issue #140