some minor bug is fixed