Remove unnecessary allocation in width-computation.

This fixes #1928