fix trivial error