#689: reproduced in test
#689: fixed