another minor fix

another minor fix