Manual test for issue 7372