[bugfix] trivial fix