Auto-update of docs: Yet another doc fix.