Ted Cruz weighs in on WaPo correction