Another minor bug fixed.