Added readme that explains how to reproduce the bug.