#10 reproduced
fixed #10