A few minor adjustments, bugfixes, and global dx setting in integrator