Yet another doc fix