#687: reproduced and fixed