Fixed constructors for Verlet