fixed two example bugs