Updates and corrections to Tarski