The bug is not in the VWM, it's in Windows. There are two workarounds for it, one of which is used by ckvwm. (I'm sure most people don't care about the difference, but still.)