This is an automated test for #3530.