If the Commerce Department adjusts the growth rate of GDP downward for the first quarter of 2016, and the Bureau of Labor Statistics adjusts the number of hours worked upward for the first quarter of 2016, what will the Bureau of Labor Statistics do in terms of revising the figures on the growth rate of labor productivity for the first quarter of 2016?