Update WFSTATES.md