#11 reproduced
#11 fixed