Just a test for the issue reported in #4916.