fix documentation: performance of x86_64