fixing heisenbugs