Fixing tmichot rules