small fix to wfsa003