crushed red pepper to taste