Fixed example.sage