So the SEC has some terrible officials. Who knew.