China flash PMI: reasons to be down, reasons to be cheerful