Fix minor typo in ExamplePendulum.cpp