asan documentation fix