Fix some example bugs