Shouldn't we use wfMessage instead of wfMsgExt?