This message was deleted.

@Ziyao Wei is looking into this class of bug!

Hi Vampire - this is supposed to be fixed now but we know there might be rough edges, so please let us know if you see any more bugs like this!