#615 reproduced
#615 fixed