Fix #2532983.
Merge branch 'live-docs' into dev-master