Fixes typo in arch doc