Fix my broken test case in NDEBUG  :(