users-guide: Fix build with sphinx 1.8

Authored by bgamari on Sep 20 2018, 7:27 AM.