#640 reproduced
#640 fixed