minor typefixes