Verify issue #76 is resolved.
Merge pull request #270 from ucb-bar/widthinfininfer76

Verify issue #76 is resolved.