fix trivial error in last commit