Fix link to user's manual (pdf)