fixed some clerical errors