Yet another doc fix.