fix another newly introduced bug