#20 reproduced
#20 fixed