Added missing flop count.  Need to verify that it's right.

Change-Id: Ife7a43f2138ed6ed91e47a7a3f4309183fa65670