Better bug workaround instructions