#185: reproduced and fixed