reproduced #9650