#592 reproduced
#592 fixed