Crushed red pepper (for serving)