#641 reproduced
#641 fixed