fixing integer widths continued