After pushing down the yuan three times in three days, China just pumped it up a bit