fixes some marginal mistakes