China's manufacturing PMI at 50.1 in December

The purchasing managers' index (PMI) for China's manufacturing sector came in at 50.1 in December, down from 50.3 in November, official data showed Tuesday.