Add instructions to reproduce the bug