#5 reproduced
#5 fixed