Fix docs that got broken by pull request #1313 a=@gozala