China GDP revision: small yet large