Yet another minor bug fix