Another minor bug fixed