Reproduced #9255.