#642 reproduced
#642 fixed