fix a couple of typos which blocked pdf build