Fix cut/paste errors in docs