#18 reproduced
#18 properly reproduced
#18 fixed