Corrections in Wa and Trumpet