Verlet integration looks ok