fixed bug in integration.verlet