fix trivial compiler error