More minor document changes + PDF