--minor fixes