Indonesia: PMI-happy, for now