You are correct. The amount entered should be the amount of the Michigan refund. No amendment would be necessary.
For more information, see: Are State Tax Refunds Taxable? | The TurboTax Blog
@cccyk7777777
