minor fixes for dict.cc