fix another error after pull request