sanity check checks correctly