yet another minor bug