#6494: Let's see what happens.