#4 reproduced
#4 fixed