Test file for issue 5802