Fix PDF build for the User's Guide.

Authored by pgj on Jul 19 2016, 11:05 AM.