fix red test. @TiarkRompf -- seems OK to you?