minor fixes: