#12 bug reproduced
#12 fixed