Fixed mistakes in 3.3.5.