Tidy up example code in pdf manual