Fixes text of diagnostics in integer overflow patch.