Is this the first sign of a US productivity puzzle?