fix a trivial mistake