A note on the energy-shaping control applied to mechanical systems: A pendulum example