Review Request 1871: doc: fix build