fix another silly e0dd24f5a7 bug