Merged trivial doc fix from 3.2.