Fixing (intentional) bug