crushed red pepper flakes, plus more for sprinkling