small fix for x86