Add a test case to reproduce issue 4428.