Just a tiny doc fix for a Sphinx warning

Change-Id: Iede31212065eafb94fd29a63103e1e73e2de770d