various little updates and corrections