A few bugs were fixed.