#67 reproduced
#67 fixed