crushed red pepper flakes optional