fix compilation mistakes
sync pdf