fix wrongly-rendered example pdf