mention that the bug is exhibited in #1 right now
add and explain workaround