another minor bug