Test file for issue 7521