a misc bug is fixed.