minor fixes;