#691: reproduced
fixes and closes #691