#37 reproduced
#37 fixed