fixed Verlet integration issue