minor fixes...