fixed compilation bug on i386 due to previous fix