recompilations, minor fixes