Fixed WFST examples.