Fixed a couple of tests for FK violations