Fix assertion to map the behaviour of the old sanitizer