diff --git a/doc/userman/Makefile b/doc/userman/Makefile
index 5715ebd8a719d259d25ccf05637ab7f6761936b7..433971360454eaafc0c43dccfe11c4a15f044b5e 100644
--- a/doc/userman/Makefile
+++ b/doc/userman/Makefile
@@ -9,7 +9,7 @@ TARGET	= userman
 
 ###########
 
-.PHONY: all install clean
+.PHONY: all install clean $(TARGET).pdf
 
 ifneq ($(VERBOSEMAKE),no)
   SILENT =
diff --git a/doc/userman/user-sources.tex b/doc/userman/user-sources.tex
index ee189cbe97c2d80eb4e448417b23946573c27fa7..e4c5b2f429525043198c6cf2ac42c33cec34f60b 100644
--- a/doc/userman/user-sources.tex
+++ b/doc/userman/user-sources.tex
@@ -1,4 +1,4 @@
-ojson\chapter{Preparing the Sources}
+\chapter{Preparing the Sources}
 \label{user-sources}
 
 This chapter explains how to specify the source files that form the