fixed a few minor errors in pdf