fixed some issues with king check causality