Minor fixes to 'service' document