1/4 teaspoon of crushed red pepper