Reverted change from 2a07e55

I had misunderstood what the check does
WIP: debugging stuff