I've modified test#svalid001 to re-exhibit the problem.