another minor bug fixed