Bug reproduction

Commented out, so the code still works. :)