some docs fixes for x86_64
2 files changed