Some corrections to the ASAN howto. Like everyone else I'm too
trigger-happy.