richMode: actually name the sanitizer correctly