small fix for avxsinth