Add a testing test for the bug fixed in e0e0d1e006dd7a52645cc247929a8f33f8635947