Remove unnecessary allocation in width-computation

This fixes #1928