Corrections to minor bugs.