Fix width computation bug in just-added `\boxout` command.