fix a compiler error