Fixed up some TeX errors caused by the rename of Service Registry to Registry Service.