some last doc/misc fixes for 3.3.3