#12 reproduced
#12 fixed