Bad fix to bad bug in stf