Fixed Bug introduced in the renaming of wast -> idpedu