[bugfix] missed from previous commit