#80 reproduced
#80 fixed